# -*- mode: snippet -*-
# name: Instance
# --
Instance $1:$2.
Proof.
$3Defined.
